
volatile void panic(const char * str);
int printk(const char * fmt, ...);